package CasosTestInter;

public class Test1 {

    private Test1 f1;
    private Test1 f2;

    public static void test_1(int k) {
        Test1 z = new Test1();
        z.m1();
        z.m2(k);
        // z.f1 may-alias z.f2 ? NO
        // z.f2 may-alias z ? SI
    }

    public void m1() {
        Test1 x = new Test1();
        this.f1 = x;
    }

    public void m2(int k) {
        if (k < 0) {
            Test1 y = new Test1();
            this.f2 = y;
        } else {
            this.f2 = this;
        }
    }

    public static void main(String[] args) {
        Test1.test_1(0);
    }
}
